For other uses, see Avalanche (disambiguation)
Avalanche is a dynamic program analysis tool developed in ISP RAS that performs symbolic execution in order to generate input data that causes an analysed program to crash. Avalanche uses dynamic binary instrumentation framework provided by Valgrind to collect a set of constraints which are then solved by STP constraint solver.
Avalanche is open source.